swipl -s main.pl
